$\forall$$D$:dsys\{i:l\}, $E$:ES\{i\}. d{-}es\{i:l\}($D$; $E$) $\in$ Prop$_{\mbox{\scriptsize i''}}$